Barrier Slicing and Chopping
نویسنده
چکیده
One of the critiques on program slicing is that slices presented to the user are hard to understand. This is partly due to bad user interfaces, but mainly related to the problem that slicing ‘dumps’ the results onto the user without any explanation. This work will present an approach that can be used to ‘filter’ slices. This approach basically introduces ‘barriers’ which are not allowed to be passed during slice computation. An earlier filtering approach is chopping which is also extended to obey such a barrier. The barrier variants of slicing and chopping provide filtering possibilities for smaller slices and better comprehensibility.
منابع مشابه
Evaluating Context-Sensitive Slicing and Chopping
We present an empirical evaluation of three contextsensitive slicing algorithms and five context-sensitive chopping algorithms, and compare them to context-insensitive methods. Besides the algorithms by Reps et al. and Agrawal we investigate six new algorithms based on variations of klimited call strings and approximative chopping based on summary information. It turns out that chopping based o...
متن کاملAn Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software
Program slicing is a program analysis and transformation technique that has been successfully applied in a wide range of applications including program comprehension, debugging, maintenance, testing, and verification. However, there are only a few full-featured implementations of program slicing that are available for industrial applications or academic research. In particular, very little tool...
متن کاملSlicing Distributed Programs
– Instead of defining both Ctl formulas and least fixed point computation algorithms, program slicing can be described as a μ-calculus formula [11] only. This greatly simplifies the definition of existing classes of program slicing (backward/forward/chopping, static/dynamic/hybrid/conditioned, syntaxpreserving/amorphous) in a unified and concise framework. Due to its capability of defining both...
متن کاملMicrostructure of fermented sausage.
A protein matrix is necessary for the desired texture of fermented sausages suitable for slicing. The formation of this network is predominantly induced by myosin and actin proteins. A change in the structure of native muscle proteins results from different technological processes such as chopping, salting, and fermentation. During chopping with simultaneous release of meat proteins, the salt b...
متن کاملUsing JOANA for Information Flow Control in Java Programs - A Practical Guide
We present the JOANA (Java Object-sensitive ANAlysis) framework for information flow control (IFC) of Java programs. JOANA can analyze a given Java program and guarantee the absence of security leaks, e.g. that a online banking application does not send sensitive information to third parties. It applies a wide range of program analysis techniques such as dependence graph computation, slicing an...
متن کامل